The operation ↑ on formal power seriesANSELMO, M.Theoretical computer science. 1993, Vol 117, Num 1-2, pp 39-43, issn 0304-3975Conference Paper

On universal formal power seriesDEMANZE, Olivier; MOUZE, Augustin.Journal of mathematical analysis and applications. 2008, Vol 338, Num 1, pp 662-674, issn 0022-247X, 13 p.Article

*-μ-semirings and *-λ-semiringsFENG FENG; XIANZHONG ZHAO; YOUNG BAE JUN et al.Theoretical computer science. 2005, Vol 347, Num 1-2, pp 423-431, issn 0304-3975, 9 p.Article

Linear independence of automatic formal power seriesLE BRETON, Xavier.Discrete mathematics. 2006, Vol 306, Num 15, pp 1776-1780, issn 0012-365X, 5 p.Article

Another proof of Soittola's theoremBERSTEL, Jean; REUTENAUER, Christophe.Theoretical computer science. 2008, Vol 393, Num 1-3, pp 196-203, issn 0304-3975, 8 p.Article

Context-free grammars, differential operators and formal power seriesCHEN, W. Y. C.Theoretical computer science. 1993, Vol 117, Num 1-2, pp 113-129, issn 0304-3975Conference Paper

Schützenberger's theorem on formal power series follows from Kleene's theoremKUSKE, Dietrich.Theoretical computer science. 2008, Vol 401, Num 1-3, pp 243-248, issn 0304-3975, 6 p.Article

Processes as formal power series: A coinductive approach to denotational semanticsBOREALE, Michele; GADDUCCI, Fabio.Theoretical computer science. 2006, Vol 360, Num 1-3, pp 440-458, issn 0304-3975, 19 p.Article

A Kleene―Schützenberger theorem for weighted timed automataDROSTE, Manfred; QUAAS, Karin.Theoretical computer science. 2011, Vol 412, Num 12-14, pp 1140-1153, issn 0304-3975, 14 p.Article

Strict Optimal Rational Approximants of MultisequencesWAN, Zhe-Xian; KAI ZHOU.IEEE transactions on information theory. 2010, Vol 56, Num 4, pp 1719-1728, issn 0018-9448, 10 p.Article

A recursive algorithm for constructing complicated Dixon matricesHONGGUANG FU; YING WANG; SHIZHONG ZHAO et al.Applied mathematics and computation. 2010, Vol 217, Num 6, pp 2595-2601, issn 0096-3003, 7 p.Article

Counting rooted maps on a surfaceARQUES, D; GIORGETTI, A.Theoretical computer science. 2000, Vol 234, Num 1-2, pp 255-272, issn 0304-3975Article

Stirling number representationsBRANSON, David.Discrete mathematics. 2006, Vol 306, Num 5, pp 478-494, issn 0012-365X, 17 p.Article

Face vectors of subdivided simplicial complexesDELUCCHI, Emanuele; PIXTON, Aaron; SABALKA, Lucas et al.Discrete mathematics. 2012, Vol 312, Num 2, pp 248-257, issn 0012-365X, 10 p.Article

Weighted automata and weighted logics with discountingDROSTE, Manfred; RAHONIS, George.Theoretical computer science. 2009, Vol 410, Num 37, pp 3481-3494, issn 0304-3975, 14 p.Article

Summability of formal solutions to the n-dimensional inhomogeneous heat equationMICHALIK, Sławomir.Journal of mathematical analysis and applications. 2008, Vol 347, Num 1, pp 323-332, issn 0022-247X, 10 p.Article

An adaptation of the Gear scheme for fractional derivativesGALUCIO, A. C; DEÜ, J.-F; MENGUE, S et al.Computer methods in applied mechanics and engineering. 2006, Vol 195, Num 44-47, pp 6073-6085, issn 0045-7825, 13 p.Article

A novel extension of the Lagrange-Bürmann expansion formulaXINRONG MA.Linear algebra and its applications. 2010, Vol 433, Num 11-12, pp 2152-2160, issn 0024-3795, 9 p.Article

GENERALIZATIONS OF PARIKH MAPPINGSCERNY, Anton.Informatique théorique et applications (Imprimé). 2010, Vol 44, Num 2, pp 209-228, issn 0988-3754, 20 p.Article

Skew and infinitary formal power seriesDROSTE, Manfred; KUSKE, Dietrich.Theoretical computer science. 2006, Vol 366, Num 3, pp 199-227, issn 0304-3975, 29 p.Conference Paper

A new method to determine the value or the reality of zeros for certain entire functionsBRUGIDOU, Vincent.Journal de mathématiques pures et appliquées. 2010, Vol 94, Num 3, pp 244-276, issn 0021-7824, 33 p.Article

Recognizability of the support of recognizable series over the semiring of the integers is undecidableKIRSTEN, D; QUAAS, K.Information processing letters. 2011, Vol 111, Num 10, pp 500-502, issn 0020-0190, 3 p.Article

Bilinear system interconnections and generating series of weighted Petri netsGRAY, W. Steven; HERENCIA-ZAPANA, Heber; DUFFAUT ESPINOSA, Luis A et al.Systems & control letters. 2009, Vol 58, Num 12, pp 841-848, issn 0167-6911, 8 p.Article

Weighted automata and weighted logicsDROSTE, Manfred; GASTIN, Paul.Theoretical computer science. 2007, Vol 380, Num 1-2, pp 69-86, issn 0304-3975, 18 p.Conference Paper

Weighted tree automata and weighted logicsDROSTE, Manfred; VOGLER, Heiko.Theoretical computer science. 2006, Vol 366, Num 3, pp 228-247, issn 0304-3975, 20 p.Conference Paper